Peirce the logician
نویسندگان
چکیده
منابع مشابه
The Peirce translation
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of minimal logic plus Peirce’s law into minimal logic, which we refer to as the Peirce translation, as it eliminates uses of Peirce’s law. When combined with modified realizability this translation applies to full classical...
متن کاملThe Logic of Peirce Algebras
Peirce algebras combine sets, relations and various operations linking the two in a unifying setting. This paper offers a modal perspective on Peirce algebras. Using modal logic a characterization of the full Peirce algebras is given, as well as a finite axiomatization of their equational theory that uses so-called unorthodox derivation rules. In addition, the expressive power of Peirce algebra...
متن کاملLectures on Jacques Herbrand as a Logician
We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides the well-known correction of Herbrand’s False Lemma by Gödel and Dreben, we also present the hardly known unpublished correction of Heijenoort and its conseq...
متن کاملWarping Peirce Quincuncial Panoramas
The Peirce quincuncial projection is a mapping of the surface of a sphere to the interior of a square. It is a conformal mapping except for four points on the equator. These points of non-conformality cause significant artifacts in photographic applications. In this paper, we propose an algorithm and userinterface to mitigate these artifacts. Moreover, in order to facilitate an interactive user...
متن کاملCan The Classical Logician Avoid The Revenge Paradoxes?∗
Most work on the semantic paradoxes within classical logic has centred around what I call ‘linguistic’ accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or non-paradoxical status. ‘No proposition’ views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subsc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Historia Mathematica
سال: 1982
ISSN: 0315-0860
DOI: 10.1016/0315-0860(82)90123-9